Being Wrong: Logics for False Belief

JOURNAL ARTICLE published 1 July 2011 in Notre Dame Journal of Formal Logic

Authors: Christopher Steinsvold

On identity and interchangeability in Leibnitz and Frege.

JOURNAL ARTICLE published 1 April 1967 in Notre Dame Journal of Formal Logic

Authors: Ignacio Angelelli

The published work of Kurt Gödel: an annotated bibliography.

JOURNAL ARTICLE published 1 April 1983 in Notre Dame Journal of Formal Logic

Authors: John W. Dawson

First-order logics for comparative similarity.

JOURNAL ARTICLE published 1 September 1988 in Notre Dame Journal of Formal Logic

Authors: Timothy Williamson

The Aristotelian Continuum. A Formal Characterization

JOURNAL ARTICLE published 1 April 2006 in Notre Dame Journal of Formal Logic

Authors: Peter Roeper

Eventual permanence.

JOURNAL ARTICLE published 1 July 1980 in Notre Dame Journal of Formal Logic

Authors: Michael Byrd

The historical development of group theoretical ideas in connection with Euclid's axiom of congruence.

JOURNAL ARTICLE published 1 July 1972 in Notre Dame Journal of Formal Logic

Authors: Marie Goldstein

Incompleteness in intuitionistic metamathematics.

JOURNAL ARTICLE published 1 June 1991 in Notre Dame Journal of Formal Logic

Authors: David Charles McCarty

An axiomatization of predicate functor logic.

JOURNAL ARTICLE published 1 April 1983 in Notre Dame Journal of Formal Logic

Authors: Steven T. Kuhn

Conceptual role semantics.

JOURNAL ARTICLE published 1 April 1982 in Notre Dame Journal of Formal Logic

Authors: Gilbert Harman

Second-order quantifiers and the complexity of theories.

JOURNAL ARTICLE published 1 July 1985 in Notre Dame Journal of Formal Logic

Authors: J. T. Baldwin | S. Shelah

Logic of antinomies.

JOURNAL ARTICLE published 1 January 1975 in Notre Dame Journal of Formal Logic

Authors: F. G. Asenjo | J. Tamburino

A relational representation of quasi-Boolean algebras.

JOURNAL ARTICLE published 1 October 1982 in Notre Dame Journal of Formal Logic

Authors: J. Michael Dunn

Refutation calculi for certain intermediate propositional logics.

JOURNAL ARTICLE published 1 September 1992 in Notre Dame Journal of Formal Logic

Authors: Tomasz Skura

A New Conditional for Naive Truth Theory

JOURNAL ARTICLE published 1 January 2013 in Notre Dame Journal of Formal Logic

Authors: Andrew Bacon

Rudimentary Recursion, Gentle Functions and Provident Sets

JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic

Authors: A. R. D. Mathias | N. J. Bowler

The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility

JOURNAL ARTICLE published 1 April 2007 in Notre Dame Journal of Formal Logic

Authors: Edwin D. Mares

Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras

JOURNAL ARTICLE published 1 October 1996 in Notre Dame Journal of Formal Logic

Authors: Oleg V. Belegradek

Logics of True Belief

JOURNAL ARTICLE published 1 February 2024 in Notre Dame Journal of Formal Logic

Authors: Yuanzhe Yang

Introduction to Logicism and the Paradoxes: A Reappraisal

JOURNAL ARTICLE published 1 July 2000 in Notre Dame Journal of Formal Logic

Authors: Michael Detlefsen